<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html>
  <head>
    <title>Practical AJAX: Connecting to Remote Servers</title>
    <script type="text/javascript" src="ping.js"></script>
  </head>
  <body onload="process()">
    Server, tell me a random number!<br/>
    <div id="myDivElement" /> 
  </body>
</html>
